package pl.edu.mimuw.irs.core.global;

public interface IUniqueObject {

	// *** Attributes
	
	// Getters and setters
	/**
	 * Returns the Id of the Petri Net element - unique in the whole net.
	 */
	public String getId();
	/**
	 * Sets the Id of the Petri Net element - must be unique in the whole net.
	 */
	public void setId(String id);
	
	public IDManager getIdManager();
	public void setIdManager(IDManager manager);

}
